Skip to content

Conversation

@nicu-da
Copy link
Contributor

@nicu-da nicu-da commented Jun 19, 2025

backport #1175

Pull Request Checklist

Cluster Testing

  • If a cluster test is required, comment /cluster_test on this PR to request it, and ping someone with access to the DA-internal system to approve it.
  • If a hard-migration test is required (from the latest release), comment /hdm_test on this PR to request it, and ping someone with access to the DA-internal system to approve it.

PR Guidelines

  • Include any change that might be observable by our partners or affect their deployment in the release notes.
  • Specify fixed issues with Fixes #n, and mention issues worked on using #n
  • Include a screenshot for frontend-related PRs - see README or use your favorite screenshot tool

Merge Guidelines

  • Make the git commit message look sensible when squash-merging on GitHub (most likely: just copy your PR description).

@nicu-da nicu-da requested a review from moritzkiefer-da June 19, 2025 10:58
@nicu-da nicu-da enabled auto-merge (squash) June 19, 2025 11:32
@nicu-da nicu-da disabled auto-merge June 19, 2025 11:47
@nicu-da nicu-da force-pushed the nicuda/port/version branch 2 times, most recently from 61a4dbf to c260cae Compare June 19, 2025 12:29
Signed-off-by: Nicu Reut <nicu.reut@digitalasset.com>
@nicu-da nicu-da force-pushed the nicuda/port/version branch from c260cae to 3099e0f Compare June 19, 2025 12:48
@nicu-da nicu-da merged commit 16e9917 into release-line-0.4.1 Jun 19, 2025
4 of 39 checks passed
@nicu-da nicu-da deleted the nicuda/port/version branch June 19, 2025 12:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants